Tools for Lotos, a Lotosphere Overview

نویسنده

  • Peter van Eijk
چکیده

LOTOS is a speciication language, but it is not very useful without a design methodology that describes the process from initial speciication construction to implementation. In this paper we discuss the tools to support such a design process. The language, method and tools are beginning to be used in realistic applications, but the research on them continues. This paper concentrates on the current state of the art, with an emphasis on the Lotosphere project because that is where most of the work is currently being conducted. Between the lines one will nd comments on a design and implementation strategy for tools.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Design of the LOTOSPHERE Symbolic LOTOS Simulator

In this paper we give a brief status report on the new LOTOS simulator that is being developed in the ESPRIT LOTOSPHERE project. We discuss its functional-ity, rst experiments with its use, and some discussion of the tool architecture and tool technology related to it. It should be noted that this tool is preliminary and not yet distributed.

متن کامل

Specification and Verification of a Sliding Window Protocol in LOTOS

We give an example of protocol veriication in Lotos, using automata-based veriication tools available inside the Lotosphere Integrated Tool Environment (Lite). The current state of tools imposes a dedicated, behaviour oriented, speciication style. The example we consider is a Sliding Window protocol. We present the speciication of the various components of the protocol, and analyse its behaviou...

متن کامل

Non-standard Interpretations of LOTOS Specifications

Non-standard interpretations of LOTOS specifications are proposed as a most convenient and conservative way to extend the expressivity of the language without affecting its standard syntax and transition-system-based semantics. Some simple non-standard interpretations, alse called view functions, are introduced. Two different styles of formal definition are adopted (denotational and operational...

متن کامل

Design of Telephony Services in Lotos

The purpose of this thesis is to design and validate a telephony system using the formal description language LOTOS and a series of tools provided by the Lotosphere Integrated Tool Environment, LITE. The starting point is a requirements document containing a series of informal specii-cations of services common to modern telephony systems. Special emphasis has been laid on choosing a design that...

متن کامل

Protocol Design and Implementation Using Formal Methods1

This paper reports on a number of formal methods that support correct protocol design and implementation. These methods are placed in the framework of a design methodology for distributed systems that was studied and developed within the ESPRIT II Lotosphere project (2304). The paper focuses on design methods for synthesizing protocols by successive application of correctness-preserving LOTOS t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1991